Filinski, Andrzej: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Recursion from iteration

Andrzej Filinski

Journal:

Higher-Order and Symbolic Computation

Year:

1994

Language:

english

File:

PDF, 1.41 MB

english, 1994

2

Editorial

Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 113 KB

english, 2006

3

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Representing monads

Filinski, Andrzej

Year:

1994

Language:

english

File:

PDF, 1.14 MB

english, 1994

4

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Inductive reasoning about effectful data types

Filinski, Andrzej, Støvring, Kristian

Year:

2007

Language:

english

File:

PDF, 405 KB

english, 2007

5

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - Representing layered monads

Filinski, Andrzej

Year:

1999

Language:

english

File:

PDF, 1.75 MB

english, 1999

6

Towards a comprehensive theory of monadic effects

Filinski, Andrzej

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 307 KB

english, 2011

7

On the relations between monadic semantics

Andrzej Filinski

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 640 KB

english, 2007

8

[Lecture Notes in Computer Science] Programs as Data Objects Volume 2053 || A New Numerical Abstract Domain Based on Difference-Bound Matrices

Danvy, Olivier, Filinski, Andrzej

Year:

2001

Language:

english

File:

PDF, 279 KB

english, 2001

9

[Lecture Notes in Computer Science] Programs as Data Objects Volume 2053 ||

Danvy, Olivier, Filinski, Andrzej

Year:

2001

Language:

english

File:

PDF, 3.00 MB

english, 2001

10

[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Abstracting control

Danvy, Olivier, Filinski, Andrzej

Year:

1990

Language:

english

File:

PDF, 1.07 MB

english, 1990

11

[Lecture Notes in Computer Science] Programs as Data Objects Volume 2053 || Program Analysis for Implicit Computational Complexity

Danvy, Olivier, Filinski, Andrzej

Year:

2001

Language:

english

File:

PDF, 41 KB

english, 2001

12

[Lecture Notes in Computer Science] Programs as Data Objects Volume 2053 || Tag Elimination and Jones-Optimality

Danvy, Olivier, Filinski, Andrzej

Year:

2001

Language:

english

File:

PDF, 255 KB

english, 2001

13

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Linear continuations

Filinski, Andrzej

Year:

1992

Language:

english

File:

PDF, 1.25 MB

english, 1992

14

Inductive reasoning about effectful data types

Filinski, Andrzej, Støvring, Kristian

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 405 KB

english, 2007

15

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Monads in action

Filinski, Andrzej

Year:

2010

Language:

english

File:

PDF, 478 KB

english, 2010

16

[ACM Press the 2nd ACM SIGPLAN workshop - Boston, Massachusetts, USA (2013.09.23-2013.09.23)] Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '13 - Towards a streaming model for nested data parallelism

Madsen, Frederik M., Filinski, Andrzej

Year:

2013

Language:

english

File:

PDF, 623 KB

english, 2013

17

[ACM Press the Eighth ACM SIGPLAN international workshop - Boston, Massachusetts, USA (2013.09.23-2013.09.23)] Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice - LFMTP '13 - Structural logical relations with case analysis and equality reasoning

Rasmussen, Ulrik, Filinski, Andrzej

Year:

2013

Language:

english

File:

PDF, 876 KB

english, 2013

18

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Towards a comprehensive theory of monadic effects

Filinski, Andrzej

Year:

2011

Language:

english

File:

PDF, 307 KB

english, 2011

19

Monads in action

Filinski, Andrzej

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 478 KB

english, 2010

20

[ACM Press the 5th International Workshop - Nara, Japan (2016.09.22-2016.09.22)] Proceedings of the 5th International Workshop on Functional High-Performance Computing - FHPC 2016 - Streaming nested data parallelism on multicores

Madsen, Frederik M., Filinski, Andrzej

Year:

2016

Language:

english

File:

PDF, 207 KB

english, 2016